AssertLemma `btrue\_neq\_bfalse` []